Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 2432 results
Sort by: relevance publication year

Lightweight validation of natural language requirements: a case study

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: V. Gervasi | B. Nuseibeh

Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

PROCEEDINGS ARTICLE published 2000 in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)

BOOK CHAPTER published 2023 in Automated Deduction – CADE 29

Authors: Tanel Tammet | Priit Järv | Martin Verrev | Dirk Draheim

Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice?

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: N.R. Mead

Why is it so difficult to introduce requirements engineering research results into mainstream requirements engineering practice?

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: H. Kaindl

Establishing reuse measurement practices in SAP requirements engineering

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: M. Daneva

Requirements-related risks in critical systems

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: P.G. Neumann

Requirements documentation: why a formal basis is essential

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: D.L. Parnas

Essential and incidental complexity in requirements models

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: L. Nguyen | P.A. Swatman

Why is it so easy to introduce requirements engineering technology transfer panels into mainstream practice?

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: S.J. Greenspan

Author index

PROCEEDINGS ARTICLE published 2000 in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Scalable mechanisms for requirements interaction management

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: M.S. Feather | S.L. Cornford | M. Gibbel

Transferring research results in requirements to practice: obstacles and incentives

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: C.L. Heitmeyer

What do you mean I'm practicing without a license? certification and licensing of requirements engineering professionals

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: N.R. Mead

Requirements engineering: what have we accomplished? where are we now? where are we going?

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: D.C. Gause | S. Row

A framework for multi-notation requirements specification and analysis

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: N.A. Day | J.J. Joyce

The requirement set

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: P. Ferdinandi

A process framework for requirements analysis and specification

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: E. Garcia Alcazar | A. Monzon

Certitude and rectitude

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: P.G. Neumann

Prioritising scenario evolution

PROCEEDINGS ARTICLE published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)

Authors: F. Moisiadis